direct sum of subspaces